\documentclass[11pt]{article}

\usepackage{acl08}
\usepackage{times}
\usepackage{url}
\usepackage{graphicx}
\usepackage{xspace}
\usepackage{amsthm}
\usepackage{bm}
\usepackage{multirow}

\usepackage[algoruled, linesnumbered,noend]{algorithm2e}

\newcommand{\gM}{\ensuremath{\mathcal{M}}}
\newcommand{\gL}{\ensuremath{\mathcal{L}}}

\newcommand{\C}{\ensuremath{\mathcal{C}}\xspace}
\newcommand{\M}{\ensuremath{\mathcal{M}}\xspace}
\newcommand{\RE}{\ensuremath{\mathit{RE}}\xspace}

\newtheorem{definition}{Definition}[section]
\newtheorem{theorem}{Theorem}[section]

\newcommand{\todo}[1]{\textbf{(#1)}}
\newcommand{\ignore}[1]{}

\newcommand{\el}{\ensuremath{\mathcal{EL}}\xspace}
\newcommand{\alc}{\ensuremath{\mathcal{ALC}}\xspace}
\newcommand{\form}{\mathsf{form}\xspace}
\newcommand{\prop}{\ensuremath{\mathsf{prop}}\xspace}
\newcommand{\simm}{\textsf{sim}}
\newcommand{\rel}{\ensuremath{\mathsf{rel}}\xspace}
\newcommand{\propm}{\ensuremath{\mathsf{prop}^\gM\xspace}}

\newcommand{\interp}[1]{|\!|#1|\!|}

\title{}
\author{
Romina Altamirano \url{}
\And
Carlos Areces \url{}
\And
Luciana Benotti \url{}
}

\date{}

%\setlength\titlebox{2.25in}    % Expanding the titlebox

\begin{document}

\maketitle

%\input abstract
%\input introduction
%\input bisim
\input{algo}
%\input discussion
%\input related
%\input conclusion

%\bibliographystyle{acl}
%\bibliography{bibliography}


\end{document}


